Nordstrom, Jakob : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (26)
Les plus populaires
Liste
- Liste
- Tableau

1

Narrow Proofs May Be Spacious:Separating Space and Width in Resolution

Nordström, Jakob

Journal:

SIAM Journal on Computing

Année:

2009

Langue:

english

Fichier:

PDF, 785 KB

english, 2009

2

[ACM Press the 45th annual ACM symposium - Palo Alto, California, USA (2013.06.01-2013.06.04)] Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13 - Some trade-off results for polynomial calculus

Beck, Chris, Nordstrom, Jakob, Tang, Bangsheng

Année:

2013

Langue:

english

Fichier:

PDF, 533 KB

english, 2013

3

On the Relative Strength of Pebbling and Resolution

Nordström, Jakob

Journal:

ACM Transactions on Computational Logic

Année:

2012

Langue:

english

Fichier:

PDF, 492 KB

english, 2012

4

A new reward model for MDP state aggregation with application to CAC and Routing

Ernst Nordström, Jakob Carlström

Journal:

Transactions on Emerging Telecommunications Technologies

Année:

2005

Langue:

english

Fichier:

PDF, 195 KB

english, 2005

5

A simplified way of proving trade-off results for resolution

Jakob Nordström

Journal:

Information Processing Letters

Année:

2009

Langue:

english

Fichier:

PDF, 171 KB

english, 2009

6

Bacterial Mitotic Machineries

Kenn Gerdes, Jakob Møller-Jensen, Gitte Ebersbach, Thomas Kruse, Kurt Nordström

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 219 KB

english, 2004

7

On the suitability of carbon nanotube forests as non-stick surfaces for nanomanipulation

Gjerde, Kjetil, Kumar, R. T. Rajendra, Andersen, Karin Nordstrøm, Kjelstrup-Hansen, Jakob, Teo, Ken B. K., Milne, William I., Persson, Christer, Mølhave, Kristian, Rubahn, Horst-Günther, Bøggild, Pete

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 635 KB

english, 2008

8

[IEEE 2012 IEEE Conference on Computational Complexity (CCC) - Porto, Portugal (2012.06.26-2012.06.29)] 2012 IEEE 27th Conference on Computational Complexity - Space Complexity in Polynomial Calculus

Filmus, Yuval, Lauria, Massimo, Nordstrom, Jakob, Thapen, Neil, Ron-Zewi, Noga

Année:

2012

Langue:

english

Fichier:

PDF, 270 KB

english, 2012

9

[IEEE 2010 IEEE 25th Annual Conference on Computational Complexity (CCC) - Cambridge, MA, USA (2010.06.9-2010.06.12)] 2010 IEEE 25th Annual Conference on Computational Complexity - On the Relative Strength of Pebbling and Resolution

Nordström, Jakob

Année:

2010

Langue:

english

Fichier:

PDF, 421 KB

english, 2010

10

[IEEE 2014 IEEE Conference on Computational Complexity (CCC) - Vancouver, BC, Canada (2014.6.11-2014.6.13)] 2014 IEEE 29th Conference on Computational Complexity (CCC) - Narrow Proofs May Be Maximally Long

Atserias, Albert, Lauria, Massimo, Nordstrom, Jakob

Année:

2014

Langue:

english

Fichier:

PDF, 302 KB

english, 2014

11

[IEEE 2008 IEEE 49th Annual IEEE Symposium on Foundations of Computer Science (FOCS) - Philadelphia, PA, USA (2008.10.25-2008.10.28)] 2008 49th Annual IEEE Symposium on Foundations of Computer Science - Short Proofs May Be Spacious: An Optimal Separation of Space and Length in Resolution

Ben-Sasson, Eli, Nordström, Jakob

Année:

2008

Langue:

english

Fichier:

PDF, 347 KB

english, 2008

12

[ACM Press the 44th symposium - New York, New York, USA (2012.05.19-2012.05.22)] Proceedings of the 44th symposium on Theory of Computing - STOC '12 - On the virtue of succinct proofs

Huynh, Trinh, Nordstrom, Jakob

Année:

2012

Langue:

english

Fichier:

PDF, 608 KB

english, 2012

13

From Small Space to Small Width in Resolution

Filmus, Yuval, Lauria, Massimo, Mikša, Mladen, Nordström, Jakob, Vinyals, Marc

Journal:

ACM Transactions on Computational Logic

Année:

2015

Langue:

english

Fichier:

PDF, 339 KB

english, 2015

14

[ACM Press the 40th annual ACM symposium - Victoria, British Columbia, Canada (2008.05.17-2008.05.20)] Proceedings of the fourtieth annual ACM symposium on Theory of computing - STOC 08 - Towards an optimal separation of space and length in resolution

Nordström, Jakob, Håstad, Johan

Année:

2008

Langue:

english

Fichier:

PDF, 283 KB

english, 2008

15

[ACM Press the thirty-eighth annual ACM symposium - Seattle, WA, USA (2006.05.21-2006.05.23)] Proceedings of the thirty-eighth annual ACM symposium on Theory of computing - STOC '06 - Narrow proofs may be spacious

Nordström, Jakob

Année:

2006

Langue:

english

Fichier:

PDF, 287 KB

english, 2006

16

[IEEE 2015 IEEE 56th Annual Symposium on Foundations of Computer Science (FOCS) - Berkeley, CA, USA (2015.10.17-2015.10.20)] 2015 IEEE 56th Annual Symposium on Foundations of Computer Science - Hardness of Approximation in PSPACE and Separation Results for Pebble Games

Chan, Siu Man, Lauria, Massimo, Nordstrom, Jakob, Vinyals, Marc

Année:

2015

Langue:

english

Fichier:

PDF, 290 KB

english, 2015

17

Narrow Proofs May Be Maximally Long

Atserias, Albert, Lauria, Massimo, Nordström, Jakob

Journal:

ACM Transactions on Computational Logic

Année:

2016

Langue:

english

Fichier:

PDF, 377 KB

english, 2016

18

Space Complexity in Polynomial Calculus

Filmus, Yuval, Lauria, Massimo, Nordström, Jakob, Ron-Zewi, Noga, Thapen, Neil

Journal:

SIAM Journal on Computing

Année:

2015

Langue:

english

Fichier:

PDF, 409 KB

english, 2015

19

[IEEE 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) - New Brunswick, NJ, USA (2016.10.9-2016.10.11)] 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) - How Limited Interaction Hinders Real Communication (and What It Means for Proof and Circuit Complexity)

de Rezende, Susanna F., Nordstrom, Jakob, Vinyals, Marc

Année:

2016

Langue:

english

Fichier:

PDF, 495 KB

english, 2016

20

MICROFABRICATED TOOLS FOR PICK-AND-PLACE OF NANOSCALE COMPONENTS

Bøggild, Peter, Petersen, Dirch Hjorth, Kjelstrup-Hansen, Jakob, Mølhave, Kristian, Andersen, Karin Nordstrøm, Sardan, Özlem

Journal:

IFAC Proceedings Volumes

Année:

2006

Langue:

english

Fichier:

PDF, 1.50 MB

english, 2006

21

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler--Leman Refinement Steps

Berkholz, Christoph, Nordström, Jakob

Année:

2016

Langue:

english

Fichier:

PDF, 317 KB

english, 2016

22

Does the Alpha-defensin Immunoassay or the Lateral Flow Test Have Better Diagnostic Value for Periprosthetic Joint Infection? A Systematic Review

Eriksson, Hannah K., Nordström, Jakob, Gabrysch, Katja, Hailer, Nils P., Lazarinis, Stergios

Journal:

Clinical Orthopaedics and Related Research®

Année:

2018

Langue:

english

Fichier:

PDF, 415 KB

english, 2018

23

Erratum to

Eriksson, Hannah, Nordström, Jakob, Gabrysch, Katja, Hailer, Nils P., Lazarinis, Stergios

Journal:

Clinical Orthopaedics and Related Research®

Année:

2018

Langue:

english

Fichier:

PDF, 117 KB

english, 2018

24

Proof Complexity and Beyond

Atserias, Albert, Nordström, Jakob, Pitassi, Toniann, Razborov, Alexander

Journal:

Oberwolfach Reports

Année:

2018

Fichier:

PDF, 658 KB

2018

25

Proof Complexity and Beyond

Atserias, Albert, Nordström, Jakob, Pitassi, Toniann, Razborov, Alexander

Journal:

Oberwolfach Reports

Année:

2018

Langue:

english

Fichier:

PDF, 658 KB

english, 2018

26

[ACM Press the 50th Annual ACM SIGACT Symposium - Los Angeles, CA, USA (2018.06.25-2018.06.29)] Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing - STOC 2018 - Clique is hard on average for regular resolution

Atserias, Albert, Bonacina, Ilario, de Rezende, Susanna F., Lauria, Massimo, Nordström, Jakob, Razborov, Alexander

Année:

2018

Langue:

english

Fichier:

PDF, 879 KB

english, 2018